1. Constructive methods in computing science : International Summer School
پدیدآورنده : directed by E. L. Bauer...]et al.[; edited by Manfred Broy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing
رده :
QA
75
.
5
.
N383
1988
2. Control flow and data flow: concepts of distributed programming: interantional. summer school directed by F. L. Bauer, E. W. Dijkstra )and( C.A.R. Hoare
پدیدآورنده : edited by Manfred Broy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Distributed processing - Congresses ، Electronic data processing,Programming - Congresses ، Electronic digital computers
رده :
QA
76
.
9
.
D5
N375
1984
3. Engineering Theories of Software Intensive Systems
پدیدآورنده : \ Edited by Manfred Broy...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses. ,نرمافزار -- مهندسی-- کنگرهها
رده :
E-Book
,
4. Engineering theories of software construction
پدیدآورنده : / edited by Tony Hoare, Manfred Broy, and Ralf Steinbruggen
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : طراحی سیستم,نرم افزار -- مهندسی
رده :
QA
۷۶
/
۷۵۸
/
ال
ف
۸ ۱۳۸۰
5. Formal systems specification : the RPC-memory specification case study
پدیدآورنده : Manfred Broy, Stephan Merz, Katharina Spies )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Electronic data processing -- Distributed processing,، Computer networks,، Memory management )Computer science(
رده :
QA
76
.
L28
Vol
.
1169
6. KORSO : methods, languages, and tools for the construction of correct software : final report
پدیدآورنده : Manfred Broy, Stefan Jahnichen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1009
7. Logic of programming and calculi of discrete design
پدیدآورنده : edited by Manfred Broy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal languages
رده :
QA
267
.
3
.
N38
1986
8. Model-based testing of reactive systems : advanced lectures
پدیدآورنده : Manfred Broy... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Testing ، Systems software,Testing ، Information technology
رده :
QA
76
.
L28
Vol
.
3472
9. Models, algebras and logic of engineering software
پدیدآورنده : edited by Manfred Broy and Markus Pizka
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design
رده :
TA
345
.
N28
2002
10. Perspectives of system informatics : Third International Andrei Ershov memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings
پدیدآورنده : Dines Bjorner, Manfred Broy, Alexandre V. Zamulin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer systems
رده :
QA
76
.
L28
Vol
.
1755
11. Perspectives of system informatics : second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 1996 : proceedings
پدیدآورنده : Dines Bjorner, Manfred Broy, Igor V. Pottosin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Ershov, Andrei Petrovich,Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
1181
12. Perspectives of system informatics : 4th International Andrei Ershov Memorial Conference, PSI '2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001 : revised papers
پدیدآورنده : Dines Bjorner, Manfred Broy, Alexandre V. Zamulin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programs
رده :
QA
76
.
L28
Vol
.
2244
13. Perspectives of system informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003; revised papers
پدیدآورنده : Manfred Broy, Alexandre V. Zamulin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Computer programming,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
2890
14. Physical Systems-Cyber
پدیدآورنده : / Manfred Broy
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
رده :
E-BOOK
15. Programming and mathematical method
پدیدآورنده : Edited by manfred broy
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
16. Programming and mathematical method
پدیدآورنده : Edited by manfred broy
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Electronic digital computers - programming,programming mathematics
رده :
QA
76
.
6
.
P75137
17. Programming and mathematical method
پدیدآورنده : edited by Manfred Broy
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
P752
1992
18. Projektorganisation und Management im Software Engineering
پدیدآورنده : / Manfred Broy, Marco Kuhrmann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
19. Requirements targeting software and systems engineering : International Workshop RTSE'97, Bernried, Germany, October 12-14, 1997 : proceedings
پدیدآورنده : Manfred Broy, Bernhard Rumpe, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
1526
20. Specification and development of interactive systems : focus on streams, interfaces, and refinement
پدیدآورنده : Broy, Manfred, 9491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Software engineering,، Systems engineering
رده :
QA
76
.
758
.
B7